Test-Goal-Specific Termination Criteria for Evolutionary White-Box Testing by Means of Software Measures

White-box testing is an important test procedure for the early detection of errors during software development. It defines, depending on the coverage criteria selected, test goals, such as, for example, requirements, branches or conditions, which need to be achieved for a complete white-box test. Here, test data generation plays a crucial role, because it defines error-prone test data. A successful approach to automated test data generation is evolutionary white-box testing. It is, however, difficult to define a suitable termination criterion for evolutionary white-box testing. This is because it is not known whether the program structure itself is not executable or whether the search for test data was not thorough enough if one of the program structures required by the sub-criterion is not achieved.